Optimal. Leaf size=328 \[ \frac {(d x)^{1+m} \left (b^2-2 a c+b c x^n\right )}{a \left (b^2-4 a c\right ) d n \left (a+b x^n+c x^{2 n}\right )}+\frac {c \left (\frac {4 a c (1+m-2 n)-b^2 (1+m-n)}{\sqrt {b^2-4 a c}}-b (1+m-n)\right ) (d x)^{1+m} \, _2F_1\left (1,\frac {1+m}{n};\frac {1+m+n}{n};-\frac {2 c x^n}{b-\sqrt {b^2-4 a c}}\right )}{a \left (b^2-4 a c\right ) \left (b-\sqrt {b^2-4 a c}\right ) d (1+m) n}-\frac {c \left (4 a c (1+m-2 n)-b^2 (1+m-n)+b \sqrt {b^2-4 a c} (1+m-n)\right ) (d x)^{1+m} \, _2F_1\left (1,\frac {1+m}{n};\frac {1+m+n}{n};-\frac {2 c x^n}{b+\sqrt {b^2-4 a c}}\right )}{a \left (b^2-4 a c\right )^{3/2} \left (b+\sqrt {b^2-4 a c}\right ) d (1+m) n} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.68, antiderivative size = 328, normalized size of antiderivative = 1.00, number of steps
used = 5, number of rules used = 3, integrand size = 22, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.136, Rules used = {1398, 1574,
371} \begin {gather*} \frac {c (d x)^{m+1} \left (\frac {4 a c (m-2 n+1)-b^2 (m-n+1)}{\sqrt {b^2-4 a c}}-b (m-n+1)\right ) \, _2F_1\left (1,\frac {m+1}{n};\frac {m+n+1}{n};-\frac {2 c x^n}{b-\sqrt {b^2-4 a c}}\right )}{a d (m+1) n \left (b^2-4 a c\right ) \left (b-\sqrt {b^2-4 a c}\right )}-\frac {c (d x)^{m+1} \left (b (m-n+1) \sqrt {b^2-4 a c}+4 a c (m-2 n+1)-\left (b^2 (m-n+1)\right )\right ) \, _2F_1\left (1,\frac {m+1}{n};\frac {m+n+1}{n};-\frac {2 c x^n}{b+\sqrt {b^2-4 a c}}\right )}{a d (m+1) n \left (b^2-4 a c\right )^{3/2} \left (\sqrt {b^2-4 a c}+b\right )}+\frac {(d x)^{m+1} \left (-2 a c+b^2+b c x^n\right )}{a d n \left (b^2-4 a c\right ) \left (a+b x^n+c x^{2 n}\right )} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 371
Rule 1398
Rule 1574
Rubi steps
\begin {align*} \int \frac {(d x)^m}{\left (a+b x^n+c x^{2 n}\right )^2} \, dx &=\frac {(d x)^{1+m} \left (b^2-2 a c+b c x^n\right )}{a \left (b^2-4 a c\right ) d n \left (a+b x^n+c x^{2 n}\right )}-\frac {\int \frac {(d x)^m \left (-2 a c (1+m-2 n)+b^2 (1+m-n)+b c (1+m-n) x^n\right )}{a+b x^n+c x^{2 n}} \, dx}{a \left (b^2-4 a c\right ) n}\\ &=\frac {(d x)^{1+m} \left (b^2-2 a c+b c x^n\right )}{a \left (b^2-4 a c\right ) d n \left (a+b x^n+c x^{2 n}\right )}-\frac {\int \left (\frac {\left (b c (1+m-n)+\frac {c \left (b^2-4 a c+b^2 m-4 a c m-b^2 n+8 a c n\right )}{\sqrt {b^2-4 a c}}\right ) (d x)^m}{b-\sqrt {b^2-4 a c}+2 c x^n}+\frac {\left (b c (1+m-n)-\frac {c \left (b^2-4 a c+b^2 m-4 a c m-b^2 n+8 a c n\right )}{\sqrt {b^2-4 a c}}\right ) (d x)^m}{b+\sqrt {b^2-4 a c}+2 c x^n}\right ) \, dx}{a \left (b^2-4 a c\right ) n}\\ &=\frac {(d x)^{1+m} \left (b^2-2 a c+b c x^n\right )}{a \left (b^2-4 a c\right ) d n \left (a+b x^n+c x^{2 n}\right )}+\frac {\left (c \left (4 a c (1+m-2 n)-b^2 (1+m-n)-b \sqrt {b^2-4 a c} (1+m-n)\right )\right ) \int \frac {(d x)^m}{b-\sqrt {b^2-4 a c}+2 c x^n} \, dx}{a \left (b^2-4 a c\right )^{3/2} n}-\frac {\left (c \left (4 a c (1+m-2 n)-b^2 (1+m-n)+b \sqrt {b^2-4 a c} (1+m-n)\right )\right ) \int \frac {(d x)^m}{b+\sqrt {b^2-4 a c}+2 c x^n} \, dx}{a \left (b^2-4 a c\right )^{3/2} n}\\ &=\frac {(d x)^{1+m} \left (b^2-2 a c+b c x^n\right )}{a \left (b^2-4 a c\right ) d n \left (a+b x^n+c x^{2 n}\right )}+\frac {c \left (4 a c (1+m-2 n)-b^2 (1+m-n)-b \sqrt {b^2-4 a c} (1+m-n)\right ) (d x)^{1+m} \, _2F_1\left (1,\frac {1+m}{n};\frac {1+m+n}{n};-\frac {2 c x^n}{b-\sqrt {b^2-4 a c}}\right )}{a \left (b^2-4 a c\right )^{3/2} \left (b-\sqrt {b^2-4 a c}\right ) d (1+m) n}-\frac {c \left (4 a c (1+m-2 n)-b^2 (1+m-n)+b \sqrt {b^2-4 a c} (1+m-n)\right ) (d x)^{1+m} \, _2F_1\left (1,\frac {1+m}{n};\frac {1+m+n}{n};-\frac {2 c x^n}{b+\sqrt {b^2-4 a c}}\right )}{a \left (b^2-4 a c\right )^{3/2} \left (b+\sqrt {b^2-4 a c}\right ) d (1+m) n}\\ \end {align*}
________________________________________________________________________________________
Mathematica [B] Leaf count is larger than twice the leaf count of optimal. \(1890\) vs. \(2(328)=656\).
time = 4.36, size = 1890, normalized size = 5.76 \begin {gather*} \frac {x (d x)^m \left (\frac {2 b^2 c}{a \sqrt {b^2-4 a c} \left (b+\sqrt {b^2-4 a c}\right ) (1+m)}-\frac {8 c^2}{\sqrt {b^2-4 a c} \left (b+\sqrt {b^2-4 a c}\right ) (1+m)}+\frac {2 b^2 c}{a \left (b^2-4 a c-b \sqrt {b^2-4 a c}\right ) (1+m)}+\frac {8 c^2}{\left (-b^2+4 a c+b \sqrt {b^2-4 a c}\right ) (1+m)}-\frac {2 b^2 c}{a \sqrt {b^2-4 a c} \left (b+\sqrt {b^2-4 a c}\right ) (1+m) n}+\frac {4 c^2}{\sqrt {b^2-4 a c} \left (b+\sqrt {b^2-4 a c}\right ) (1+m) n}+\frac {4 c^2}{\left (b^2-4 a c-b \sqrt {b^2-4 a c}\right ) (1+m) n}+\frac {2 b^2 c}{a \left (-b^2+4 a c+b \sqrt {b^2-4 a c}\right ) (1+m) n}-\frac {2 b^2 c m}{a \sqrt {b^2-4 a c} \left (b+\sqrt {b^2-4 a c}\right ) (1+m) n}+\frac {4 c^2 m}{\sqrt {b^2-4 a c} \left (b+\sqrt {b^2-4 a c}\right ) (1+m) n}+\frac {4 c^2 m}{\left (b^2-4 a c-b \sqrt {b^2-4 a c}\right ) (1+m) n}+\frac {2 b^2 c m}{a \left (-b^2+4 a c+b \sqrt {b^2-4 a c}\right ) (1+m) n}-\frac {b^2}{a n \left (a+x^n \left (b+c x^n\right )\right )}+\frac {2 c}{n \left (a+x^n \left (b+c x^n\right )\right )}-\frac {b c x^n}{a n \left (a+x^n \left (b+c x^n\right )\right )}+\frac {2^{-\frac {1+m}{n}} c \left (4 a c \sqrt {b^2-4 a c} (1+m-2 n)+4 a b c (1+m-n)-b^2 \sqrt {b^2-4 a c} (1+m-n)+b^3 (-1-m+n)\right ) \left (\frac {c x^n}{b-\sqrt {b^2-4 a c}+2 c x^n}\right )^{-\frac {1+m}{n}} \, _2F_1\left (-\frac {1+m}{n},-\frac {1+m}{n};1-\frac {1+m}{n};\frac {b-\sqrt {b^2-4 a c}}{b-\sqrt {b^2-4 a c}+2 c x^n}\right )}{a \sqrt {b^2-4 a c} \left (-b^2+4 a c+b \sqrt {b^2-4 a c}\right ) (1+m) n}+\frac {2^{-\frac {1+m}{n}} b c (-1-m+n) \left (\frac {c x^n}{b+\sqrt {b^2-4 a c}+2 c x^n}\right )^{-\frac {1+m}{n}} \, _2F_1\left (-\frac {1+m}{n},-\frac {1+m}{n};1-\frac {1+m}{n};\frac {b+\sqrt {b^2-4 a c}}{b+\sqrt {b^2-4 a c}+2 c x^n}\right )}{a \sqrt {b^2-4 a c} (1+m) n}-\frac {2^{\frac {-1-m+n}{n}} b^2 c \left (\frac {c x^n}{b+\sqrt {b^2-4 a c}+2 c x^n}\right )^{-\frac {1+m}{n}} \, _2F_1\left (-\frac {1+m}{n},-\frac {1+m}{n};\frac {-1-m+n}{n};\frac {b+\sqrt {b^2-4 a c}}{b+\sqrt {b^2-4 a c}+2 c x^n}\right )}{a \sqrt {b^2-4 a c} \left (b+\sqrt {b^2-4 a c}\right ) (1+m)}+\frac {2^{-\frac {1+m-3 n}{n}} c^2 \left (\frac {c x^n}{b+\sqrt {b^2-4 a c}+2 c x^n}\right )^{-\frac {1+m}{n}} \, _2F_1\left (-\frac {1+m}{n},-\frac {1+m}{n};\frac {-1-m+n}{n};\frac {b+\sqrt {b^2-4 a c}}{b+\sqrt {b^2-4 a c}+2 c x^n}\right )}{\sqrt {b^2-4 a c} \left (b+\sqrt {b^2-4 a c}\right ) (1+m)}+\frac {2^{\frac {-1-m+n}{n}} b^2 c \left (\frac {c x^n}{b+\sqrt {b^2-4 a c}+2 c x^n}\right )^{-\frac {1+m}{n}} \, _2F_1\left (-\frac {1+m}{n},-\frac {1+m}{n};\frac {-1-m+n}{n};\frac {b+\sqrt {b^2-4 a c}}{b+\sqrt {b^2-4 a c}+2 c x^n}\right )}{a \sqrt {b^2-4 a c} \left (b+\sqrt {b^2-4 a c}\right ) (1+m) n}-\frac {2^{-\frac {1+m-2 n}{n}} c^2 \left (\frac {c x^n}{b+\sqrt {b^2-4 a c}+2 c x^n}\right )^{-\frac {1+m}{n}} \, _2F_1\left (-\frac {1+m}{n},-\frac {1+m}{n};\frac {-1-m+n}{n};\frac {b+\sqrt {b^2-4 a c}}{b+\sqrt {b^2-4 a c}+2 c x^n}\right )}{\sqrt {b^2-4 a c} \left (b+\sqrt {b^2-4 a c}\right ) (1+m) n}+\frac {2^{\frac {-1-m+n}{n}} b^2 c m \left (\frac {c x^n}{b+\sqrt {b^2-4 a c}+2 c x^n}\right )^{-\frac {1+m}{n}} \, _2F_1\left (-\frac {1+m}{n},-\frac {1+m}{n};\frac {-1-m+n}{n};\frac {b+\sqrt {b^2-4 a c}}{b+\sqrt {b^2-4 a c}+2 c x^n}\right )}{a \sqrt {b^2-4 a c} \left (b+\sqrt {b^2-4 a c}\right ) (1+m) n}-\frac {2^{-\frac {1+m-2 n}{n}} c^2 m \left (\frac {c x^n}{b+\sqrt {b^2-4 a c}+2 c x^n}\right )^{-\frac {1+m}{n}} \, _2F_1\left (-\frac {1+m}{n},-\frac {1+m}{n};\frac {-1-m+n}{n};\frac {b+\sqrt {b^2-4 a c}}{b+\sqrt {b^2-4 a c}+2 c x^n}\right )}{\sqrt {b^2-4 a c} \left (b+\sqrt {b^2-4 a c}\right ) (1+m) n}\right )}{-b^2+4 a c} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.01, size = 0, normalized size = 0.00 \[\int \frac {\left (d x \right )^{m}}{\left (a +b \,x^{n}+c \,x^{2 n}\right )^{2}}\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {{\left (d\,x\right )}^m}{{\left (a+b\,x^n+c\,x^{2\,n}\right )}^2} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________